Merge branch 'menu-section-title' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 21 Apr 2020 19:35:44 +0000 (19:35 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 21 Apr 2020 19:35:44 +0000 (19:35 +0000)
commitc09b5ea7b4922c3c64989acf327e7703ac9f8b83
treebba4a937c5275fe1740b66da6767b4992897f124
parente818bf85145d036bd6143d42da6c4fb6934559d1
parent1edfd80528b632f8d845554df6cdd44eaa3a1d29
Merge branch 'menu-section-title' into 'master'

Menu section title

See merge request GNOME/gtk!1735